Asynchronous distributed state estimation for continuous-time stochastic processes

Asynchronous distributed state estimation for continuous-time stochastic processes

The problem of state estimation of a continuous-time stochastic process using an Asynchronous Distributed multi-sensor Estimation (ADE) system is considered. The state of a process of interest is estimated by a group of local estimators constituting the proposed ADE system. Each estimator is based, e.g., on a Kalman filter and performs single sensor filtration and fusion of its local results wi...

Stochastic Processes in Continuous Time

1 Basic Concepts 3 1.1 Notions of equivalence of stochastic processes . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Sample path properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.3 Properties of filtrations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.4 Stopping times . . . . . . . . . . . . . . . . . ....

Part II CONTINUOUS TIME STOCHASTIC PROCESSES

Distributed Relational State Representations for Complex Stochastic Processes (Extended Abstract)

Several promising variants of hidden Markov models (HMMs) have recently been developed to efficiently deal with large state and observation spaces and relational structure. Many application domains, however, have an apriori componential structure such as parts in musical scores. In this case, exact inference within relational HMMs still grows exponentially in the number of components. In this p...

Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes

In a recent paper Baier, Haverkort, Hermanns and Katoen [BHHK00], analyzed a new way of model-checking formulas of a logic for continuoustime processes called Continuous Stochastic Logic (henceforth CSL) – against continuous-time Markov chains – henceforth CTMCs. One of the important results of that paper was the proof that if two CTMCs were bisimilar then they would satisfy exactly the same fo...